#!/bin/bash
export GOOGLETEST_HEAD="53495a2a7d6ba7e0691a7f3602e9a5324bba6e45"
export WHFC_HEAD="21d99e1dbb3820d7222bcd69332cfad05cc56d17"
export PYBIND11_HEAD="ee2b5226295d67b690faddd446a329bb2840a1a8"
export GROWT_HEAD="0c1148ebcdfd4c04803be79706533ad09cc81d37"
export KAHYPAR_SHARED_RESOURCES_HEAD="b46e1be22644310b707734cc0ec3672a17a99751"
